Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
lisp
1
software specification
1 ?
 21,213,375 websites (safe search)

  1. Axiomatic Language Home Page

    A minimal, pure specification logic programming language with meta-language capability.
    LISP1
    Prolog1
    functional programming1
    formal methods1
    logic programming1
    meta-language1
    meta-programming1
    software specification1
    axiomatic language0
    higher-order logic0
    HiLog0

    www.axiomaticlanguage.org - 2009-02-07

java4 autocad2 .net3 business7 cnc3 j2ee2 cam5 application3 requirements2 management5 design7 specification2 c++3 software7 cad3 radius31 technical3 performance4 autodesk2 thin-client1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.